#ifndef PLAT_H
#define PLAT_H

#define PLAT_MEM_BASE 0x50000000
#define PLAT_MEM_SIZE 0x8000000

#define PLAT_GICD_BASE_ADDR (0x08000000)
#define PLAT_GICC_BASE_ADDR (0x08010000)
#define PLAT_GICR_BASE_ADDR (0x080A0000)

#define PLAT_UART_ADDR 0x09000000
#define UART_IRQ_ID 33

#endif
